Institute for Logic, Language and Computation - PDFSEARCH.IO - Document Search Engine

Institute for Logic, Language and Computation
Results: 60

#	Item
41	Propagation Networks: A Flexible and Expressive Substrate for Computation by Alexey Andreyevich Radul B.S., Massachusetts Institute of Technology (2003) Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-09-11 13:48:55 Theoretical computer science Academia Computability theory Gerald Jay Sussman Lisp programming language Logic programming Computation Computer Science and Engineering Reactive programming Software engineering Programming paradigms Computing
42	CALL FOR PAPERS NASSLLI 2014 STUDENT SESSION June 23-27, 2014 University of Maryland, College Park The North American Summer School for Logic, Language and Information (NASSLLI) welcomes Add to Reading List Source URL: web.pacuit.org Language: English - Date: 2014-09-16 15:33:14 Carnegie Mellon University Logic Knowledge Academia Science Institute for Logic Language and Computation
43	Modal Quantifiers Natasha Alechina Modal Quantifiers Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 11:38:45 Philosophical logic Model theory Logicians Quantification First-order logic Johan van Benthem Institute for Logic Language and Computation Logic Mathematical logic Predicate logic
44	Diagraph of Metaphysic or Ontology Jacob Lorhard, trans. by Sara L. Uckelman∗ ∗ Institute for Logic, Language, and Computation, [removed] Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2008-03-27 09:33:29 Scholasticism Natural philosophy Jacob Lorhard Potentiality and actuality Perfection Being Nous Reality Philosophy Metaphysics Ontology
45	TSI 2014.booklet.dr4.indd Add to Reading List Source URL: www.inclusion.com Language: English - Date: 2014-03-13 14:19:50 PATH Ryerson University Toronto Institute for Logic Language and Computation Ontario Academia Great Lakes Venues of the 2015 Pan American Games Association of Commonwealth Universities Coalition of Urban and Metropolitan Universities
46	PDF Document Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-09-23 06:42:47 Tbilisi State University Institute for Logic Language and Computation Tbilisi Dick de Jongh Logic Geography of Europe Europe Jeroen Groenendijk Year of birth missing Gudauri
47	LogICCC_44p.A4_August11.indd Add to Reading List Source URL: www.esf.org Language: English - Date: 2011-09-22 04:12:24 Academia Science and technology in Europe European Science Foundation Institute for Logic Language and Computation Cognitive science Logic Computer science Scientific method Center Leo Apostel for Interdisciplinary Studies Science Knowledge Interdisciplinary fields
48	An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet1 A. A. Morozov and Yu. V. Obukhov Institute of Radio Engineering and Electronics, Russian Academy of Scienc Add to Reading List Source URL: www.cplire.ru Language: English - Date: 2007-09-24 06:53:35 Logic programming Prolog Oz Logic Actor model Programming language First-order logic Indeterminacy in concurrent computation Logtalk Software engineering Computing Computer programming
49	VSNUlogoPMS-Z (geschikt voor drukwerk) Add to Reading List Source URL: www.euraxess.nl Language: English - Date: 2011-04-18 08:12:06 Institute for Logic Language and Computation Leiden University Radboud University Nijmegen University of Amsterdam Nijmegen Higher education Henkjan Honing Provinces of the Netherlands Coimbra Group Academia
50	Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation Add to Reading List Source URL: www.illc.uva.nl Language: English - Date: 2013-12-13 13:15:40 Quantification Predicate logic Semantics Finite model theory Philosophical logic Generalized quantifier FO Sentence Model theory Logic Mathematical logic Theoretical computer science